-
1 mathematical verification
Англо-русский словарь по компьютерной безопасности > mathematical verification
-
2 verification
проверка правильности, верификация; установление подлинностиАнгло-русский словарь по компьютерной безопасности > verification
-
3 simulation
моделирование, проведение модельных экспериментов; имитационное моделирование, проведение имитационных экспериментов- analog simulation
- analog-digital simulation
- architectural simulation
- behavioral simulation
- circuit simulation
- compiled-code simulation
- compiled simulation
- compiler-driven simulation
- computer simulation
- concurrent fault simulation
- concurrent simulation
- continuous simulation
- design verification simulation
- deterministic simulation
- digital simulation
- discrete simulation
- environment simulation
- event-driven simulation
- fault simulation
- fault-free simulation
- functional-level simulation
- functional simulation
- gate-level simulation
- hand simulation
- hardware-based simulation
- hardware simulation
- hybrid simulation
- in-circuit simulation
- knowledge-based simulation
- logic simulation
- low-level simulation
- machine simulation
- man-machine simulation
- mathematical simulation
- maximum-delay simulation
- mixed-level simulation
- mixed-mode simulation
- mixed-signal simulation
- multirate simulation
- next event simulation
- no-fault simulation
- nominal-delay simulation
- nonterminating simulation
- parallel event simulation
- physical simulation
- potential-plane simulation
- rank-order simulation
- real-time simulation
- sampling simulation
- simulation of human behavior
- single-rate simulation
- software simulation
- source-to-target simulation
- stochastic simulation
- switch-level simulation
- system simulation
- terminating simulation
- three-state simulation
- time simulation
- transient simulation
- transistor-level simulation
- true-value simulation
- unit-delay simulation
- zero-delay simulationEnglish-Russian dictionary of computer science and programming > simulation
-
4 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method
См. также в других словарях:
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Mathematical model — Not to be confused with the same term that is used in model theory, a branch of mathematical logic. An artifact that is used to illustrate a mathematical idea may also be called a mathematical model, the usage of which is the reverse of the sense … Wikipedia
Verification — The word Verify And Verification can refer to:* Verification and Validation: In engineering or a quality management system, verification is the act of reviewing, inspecting, testing, etc. to establish and document that a product, service, or… … Wikipedia
Mathematical optimization — For other uses, see Optimization (disambiguation). The maximum of a paraboloid (red dot) In mathematics, computational science, or management science, mathematical optimization (alternatively, optimization or mathematical programming) refers to… … Wikipedia
Vérification de somme — Somme de contrôle La somme de contrôle (en anglais checksum) est un concept de la théorie des codes utilisé pour les codes correcteurs, elle correspond à un cas particulier de contrôle par redondance. Elle est largement utilisée en informatique… … Wikipédia en Français
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Chennai Mathematical Institute — Established 1988 Type Research and education institution Director Rajeeva Karandika … Wikipedia
e (mathematical constant) — Euler s number redirects here. For γ, a constant in number theory, see Euler s constant. For other uses, see List of topics named after Leonhard Euler#Euler numbers. e is the unique number a, such that the derivative of the exponential function… … Wikipedia
Chemical equilibrium — In a chemical reaction, chemical equilibrium is the state in which the concentrations of the reactants and products have not yet changed with time. It occurs only in reversible reactions, and not in irreversible reactions. Usually, this state… … Wikipedia
Equilibrio químico — Saltar a navegación, búsqueda En un proceso químico, el equilibrio químico es el estado en el que las actividades químicas o las concentraciones de los reactivos y los productos no tienen ningún cambio neto en el tiempo. Normalmente, este sería… … Wikipedia Español